impredicative set theory中文是什么意思

• 非断言集论

• set theory    【数学】集(合)论。
• impredicative    非直谓的, 非断言的
• impredicative definition    非断言定义
• alternative set theory    可替代的集合论
• axiomatic set theory    公理化集合论; 公理集合论; 公理论的集论
• axioms of set theory    集合论公理
• basic concepts in set theory    集合论基本概念
• basic set theory    基本集合论
• cantorian set theory    经典集论
• class (set theory)    类 (数学)
• classical set theory    古典集合论; 经典集论
• descriptive set theory    描述集合论; 描述集论
• effective descriptive set theory    有效描述集合论
• fuzzy set theory    模糊集合论
• general set theory    一般集合论; 一般集论
• ive set theory    经典描述集论
• naive set theory    简单集合论; 朴素集合论
• paradoxes of naive set theory    集合论悖论
• point set theory    点集论
• predicative set theory    断言集论
• pure set theory    一般集合论
• set theory and abstract algebra    设备理论和抽象代数
• set theory and the continuum hypothesis    集合论和连续统假设
• set theory model    组集论模型
• impredicativity    非直谓性
• impreg    n. 【建筑】树脂浸渍木材。